2381. Thinking ,Feeling and being
Author: / Ignacio Matte-Blanco
Library: Library of factualty of psychology and Education (Tehran)
Subject: Subconsciousness,Freud,Sigmund,1856-1989,Logic ,Symbolic and mathematical
Classification :
154
M435T
2382. Thinking, feeling, and being: Clinical reflections on the fundamental antinomy of human beings and world
Author: Icnacio Matte-Blanco
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Subconscousness,Fred, Sigmund, 1856 - 1939,Logic, Symbolic and mathematical,Psychoanalysis
Classification :
BF
،
315
،.
M34
،
1988
2383. Thinking about G?del and Turing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
2384. Thinking about G?�del and Turing
Author: / Gregory J Chaitim
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
Classification :
QA
,
9
.
65
,.
C43
,
2007
2385. Thinking, feeling, and being: clinical reflections on the fund amental antinomy of human beings and world
Author: Matte-Blanco, Ignacio.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Subconsciousness,Freud, sigmund, 6581-9391,، Logic, Symbolic and mathematical,، Psychoanalysis
Classification :
BF
315
.
M34
1988
2386. Thirty Five Years of Automating Mathematics.
Author: Dov M Gabbay
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
2387. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
Author: Mostowski, Andrzej
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
Classification :
B
28
.
F5
.
A3
Fasc
.
17
2388. Three views of logic
Author: Donald W. Loveland, Richard E. Hodel, S.G. Sterrett
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic,Logic, Symbolic and mathematical
2389. Time and modality
Author: / A.N. Prior
Library: Library of Islamic Parliament (Tehran)
Subject:
Classification :
BC135
.
P78
2390. Time and modality :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,08.33 logics and argumentation.,Epistemic logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Modale logica.,Modality (Logic),Tense (Logic)
Classification :
BC135
.
P78
2391. Title in the Rossian
Author: Heyting
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical,Mathematics-- Methodology
Classification :
QA
9
.
H417
2392. Topics in decision problem
Author: / A monograph by M. S. Adib-Soltani,Adib Sultani
Library: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)
Subject: Logic, Symbolic and mathematical
Classification :
511
.
3
A
235
T
2393. Topics in engineering logic
Author: Madler, Morton.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
Classification :
TK
7888
.
3
.
N3
1962
2394. Toposes, Algebraic geometry and logic
Author: ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
274
2395. Toposes, algebraic geometry and logic
Author: / [by] I. Bucur... [et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Categories (Mathematics) -- Congresses,Geometry, Algebraic -- Congresses,Logic, Symbolic and mathematical -- Congresses,Toposes
Classification :
QA
169
.
T6
1972
2396. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Author: I. Bucur ... ]et al.[; edited by F. W. Lawvere
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
Classification :
QA
3
.
L28
Vol
.
274
2397. Toposes and local set theories: an introduction
Author: / J.L.Bell
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Toposes,Set theory,Logic,symbolic and mathematical
Classification :
512
.
55
B433t
2398. Toward "Principia mathematica", 1905-08 /
Author: Bertrand Russell ; edited by Gregory H. Moore.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Whitehead, Alfred North,1861-1947., Principia mathematica.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Filosofie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Wiskunde.
Classification :
B1649
.
R91
1983
2399. Towards Mathematical Philosophy
Author: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگرهها ,ریاضیات -- فلسفه -- کنگره ها
Classification :
E-Book
,
2400. Towards an arithmetical logic :
Author: by Yvon Gauthier
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA1-939
